Nuprl Definition : ma-single-effect
11,40
postcript
pdf
with declarations
ds:
ds
da:
da
effect of
k
(v) is
x
:=
f
s v
== ma{
ds
;
== ma{
da
;
== ma{
;
== ma{
;
== ma{
<
k
,
x
> :
f
;
== ma{
;
== ma{
;
== ma{
;
== ma{
;
== ma{
;
== ma{
;
== ma{
}
latex
Definitions
mk-ma
,
x
:
v
,
<
a
,
b
>
,
FDL editor aliases
ma-single-effect
origin
;
;
;
;
;
;
;
;
} ;
;
;
;
;
;
;
;
}